Nuprl Definition : es-after
11,40
postcript
pdf
es-after(
es
;
x
;
e
) == es_state_after(
es
;
e
)(
x
,0)
latex
Definitions
f
(
a
)
,
es_state_after(
es
;
e
)
,
#$n
FDL editor aliases
es-after
origin